1. روشهای اثبات
پدیدآورنده : ولمن، دانیل ج Velleman, Daniel J .
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : منطق ریاضی,athematicalB and Symbolic ,Logic,ریاضیات,athematicsB
رده :
QA
۹
/
و
۸
ر
۹